Cache coherence - PDFSEARCH.IO - Document Search Engine

Cache coherence
Results: 102

#	Item
81	Using Belief to Reason About Cache Coherence L. Mummert, J.M. Wing, and M. Satyanarayanan Carnegie Mellon University Abstract The notion of belief has been useful in reasoning about authentication protocols. In this pape Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 1999-07-15 13:31:57 Andrew File System Carnegie Mellon University Cache Burrows–Abadi–Needham logic Internet Relay Chat Transmission Control Protocol OSI protocols Internet Computing Network file systems Online chat
82	1 Variable Granularity Cache Coherence L. Mummert and M. Satyanarayanan School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 1999-07-15 12:22:52 Coda Cache Computing Network file systems Callback Subroutines
83	Formal Analysis of the ACE Specification for Cache Coherent Systems-On-Chip Abderahman KRIOUILE PhD student, STMicroelectronics – Inria Rhône-Alpes – LIG Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-02 08:13:33 Computer memory Parallel computing Cache coherence Concurrent computing CPU cache Cache Computing Cache coherency Computer hardware
84	Design Tradeoffs for Simplicity and Efficient Verification in the Execution Migration Machine Keun Sup Shim, Mieszko Lis, Myong Hyon Cho, Ilia Lebedev, Srinivas Devadas Massachusetts Institute of Technology, Cambridge, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-08-26 16:12:52 Parallel computing Computer memory Central processing unit Computer architecture Microprocessors CPU cache Multi-core processor Cache Memory coherence Computing Concurrent computing Computer hardware
85	The Locality-Aware Adaptive Cache Coherence Protocol George Kurian Omer Khan Srinivas Devadas Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-04-22 20:43:35 Computer memory Central processing unit CPU cache Computer architecture MESI protocol Acumem SlowSpotter Bus sniffing Cache Computer hardware Computing
86	Lecture 2: Intro and Snooping Protocols • Topics: multi-core cache organizations, programming models, cache coherence (snooping-based) 1 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-08-21 13:22:30 Central processing unit Computer memory Intel Core Computing Computer hardware CPU cache Cache
87	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Instruction set architectures Computer memory Parallel computing Cache coherency Model checking CPU cache Formal verification Communications protocol Computing Computer architecture Computer hardware
88	Cache Coherence Verification with TLA+ Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark Tuttle , and Yuan Yu Compaq Computer Corporation We used the speciﬁcation language TLA+ to ana Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Parallel computing Cache coherence Cache Communications protocol DEC Alpha Temporal logic of actions Model checking Leslie Lamport Correctness Computing Concurrent computing Cache coherency
89	TLA+ Veriﬁcation of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez∗ , Paul Harter, Leslie Lamport, Mark Tuttle, and Yuan Yu Compaq Joshua Scheid Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Proof theory Mathematical logic Logical syntax Formal systems Logical truth Model checking Communications protocol Formal methods Correctness Logic Mathematics Computing
90	Parametric Verification of Industrial Cache Protocols M URALI TALUPUR S AVA K RSTI C´ J OHN O’L EARY Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Cache coherency Parallel computing Cryptographic protocols Communications protocol Data transmission Protocols Cache coherence Model checking Cache Computing Concurrent computing Data

UPDATE